Fence placement for legacy data-race-free programs via synchronization read detection
نویسندگان
چکیده
منابع مشابه
A Fence Placement for Legacy Data-Race-Free Programs via Synchronization Read Detection
Shared-memory programmers traditionally assumed Sequential Consistency (SC), but modern systems have relaxed memory consistency. Here, the trend in languages is towards Data-Race-Free (DRF) models, where, assuming annotated synchronizations and the program being well-synchronized by those synchronizations, the hardware and compiler guarantee SC. However, legacy programs lack annotations, so eve...
متن کاملAlgorithms for Data-race Detection in Multithreaded Programs Algorithms for Data-race Detection in Multithreaded Programs
If two parallel threads access the same location and at least one of them performs a write, a race exists. The detection of races|a major problem in parallel debugging|is complicated by the presence of atomic critical sections. In programs without critical sections, the existence of a race is usually a bug leading to nondeterministic behavior. In programs with critical sections, however, access...
متن کاملAlgorithms for Data-Race Detection in Multithreaded Programs
If two parallel threads access the same location and at least one of them performs a write, a race exists. The detection of races|a major problem in parallel debugging|is complicated by the presence of atomic critical sections. In programs without critical sections, the existence of a race is usually a bug leading to nondeterministic behavior. In programs with critical sections, however, access...
متن کاملScaling Data Race Detection for Partitioned Global Address Space Programs
Contemporary and future programming languages for HPC promote hybrid parallelism and shared memory abstractions using a global address space. In this programming style, data races occur easily and are notoriously hard to find. Existing state-of-the-art data race detectors exhibit 10×−100× performance degradation and do not handle hybrid parallelism. In this paper we present the first complete i...
متن کاملFast and Accurate Static Data-Race Detection for Concurrent Programs
We present new techniques for fast, accurate and scalable static data race detection in concurrent programs. Focusing our analysis on Linux device drivers allowed us to identify the unique challenges posed by debugging largescale real-life code and also pinpointed drawbacks in existing race warning generation methods. This motivated the development of new techniques that helped us in improving ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM SIGPLAN Notices
سال: 2015
ISSN: 0362-1340,1558-1160
DOI: 10.1145/2858788.2688524